Antonin Kucera: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Randomness and Recursive Enumerability

Kucera, Antonín, Slaman, T.

Journal:

SIAM Journal on Computing

Year:

2001

Language:

english

File:

PDF, 178 KB

english, 2001

2

[Lecture Notes in Computer Science] Mathematical and Engineering Methods in Computer Science Volume 7721 || Quantum Secret Sharing with Graph States

Kučera, Antonín, Henzinger, Thomas A., Nešetřil, Jaroslav, Vojnar, Tomáš, Antoš, David

Year:

2013

Language:

english

File:

PDF, 287 KB

english, 2013

3

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - Trading Performance for Stability in Markov Decision Processes

Brazdil, Toma, Chatterjee, Krishnendu, Forejt, Vojtech, Kucera, Antonin

Year:

2013

Language:

english

File:

PDF, 255 KB

english, 2013

4

Synonymenreihen in einem Übersetzungs-Fachwörterbuch

Kučera, Antonin

Journal:

Year:

1969

Language:

german

File:

PDF, 514 KB

german, 1969

5

On relative randomness

Antonín Kučera

Journal:

Annals of Pure and Applied Logic

Year:

1993

Language:

english

File:

PDF, 459 KB

english, 1993

6

Methods for Quantitative Analysis of Probabilistic Pushdown Automata

Antonín Kučera

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 260 KB

english, 2006

7

Bisimilarity of processes with finite-state systems

Petr Jancar, Antonín Kucera

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

File:

PDF, 27 KB

1997

8

Preface: Volume 68, Issue 6

Antonin Kucera, Richard Mayr

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 46 KB

english, 2003

9

The stuttering principle revisited

Antonín Kučera, Jan Strejček

Journal:

Acta Informatica

Year:

2005

Language:

english

File:

PDF, 3.94 MB

english, 2005

10

Deciding probabilistic bisimilarity over infinite-state probabilistic systems

Tomáš Brázdil, Antonín Kučera, Oldřich Stražovský

Journal:

Acta Informatica

Year:

2008

Language:

english

File:

PDF, 395 KB

english, 2008

11

Comparing expressibility of normed BPA and normed BPP processes

Ivana Černá, Mojmír Křetínsky, Antonín Kučera

Journal:

Acta Informatica

Year:

1999

Language:

english

File:

PDF, 177 KB

english, 1999

12

Demuth randomness and computational complexity

Antonín Kučera, André Nies

Journal:

Annals of Pure and Applied Logic

Year:

2011

Language:

english

File:

PDF, 278 KB

english, 2011

13

A general approach to comparing infinite-state systems with their finite-state specifications

Antonín Kučera, Philippe Schnoebelen

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 348 KB

english, 2006

14

[Lecture Notes in Computer Science] SOFSEM 2009: Theory and Practice of Computer Science Volume 5404 || On Stateless Deterministic Restarting Automata

Nielsen, Mogens, Kučera, Antonín, Miltersen, Peter Bro, Palamidessi, Catuscia, Tůma, Petr, Valencia, Frank

Year:

2009

Language:

english

File:

PDF, 221 KB

english, 2009

15

Bookreviews

Josef Holub, Anna Chrtková, Dana Svobodová, Antonín M. Svoboda, Miroslav Kučera, Jaroslav Hofman, Eliška Rybníčková, Zdenka Neuhäuslová-Novotná

Journal:

Folia Geobotanica

Year:

1972

Language:

german

File:

PDF, 1.01 MB

german, 1972

16

Stochastic game logic

Christel Baier, Tomáš Brázdil, Marcus Größer, Antonín Kučera

Journal:

Acta Informatica

Year:

2012

Language:

english

File:

PDF, 363 KB

english, 2012

17

Reachability in recursive Markov decision processes

Tomáš Brázdil, Václav Brožek, Vojtěch Forejt, Antonín Kučera

Journal:

Information and Computation

Year:

2008

Language:

english

File:

PDF, 274 KB

english, 2008

18

On the complexity of checking semantic equivalences between pushdown processes and finite-state processes

Antonín Kučera, Richard Mayr

Journal:

Information and Computation

Year:

2010

Language:

english

File:

PDF, 402 KB

english, 2010

19

Qualitative reachability in stochastic BPA games

Tomáš Brázdil, Václav Brožek, Antonín Kučera, Jan Obdržálek

Journal:

Information and Computation

Year:

2011

Language:

english

File:

PDF, 428 KB

english, 2011

20

Preface

Petr Hliněný, Antonín Kučera

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 112 KB

english, 2012

21

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 2007 Volume 4708 || A Linear Time Algorithm for the k Maximal Sums Problem

Kučera, Luděk, Kučera, Antonín

Year:

2007

Language:

english

File:

PDF, 536 KB

english, 2007

22

Approximating the termination value of one-counter MDPs and stochastic games

Tomáš Brázdil, Václav Brožek, Kousha Etessami, Antonín Kučera

Journal:

Information and Computation

Year:

2013

Language:

english

File:

PDF, 335 KB

english, 2013

23

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 2010 Volume 6281 || Online Clustering with Variable Sized Clusters

Hliněný, Petr, Kučera, Antonín

Year:

2010

Language:

english

File:

PDF, 189 KB

english, 2010

24

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 2007 Volume 4708 || Finite Model Theory on Tame Classes of Structures

Kučera, Luděk, Kučera, Antonín

Year:

2007

Language:

english

File:

PDF, 313 KB

english, 2007

25

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 2010 Volume 6281 || Slowly Synchronizing Automata and Digraphs

Hliněný, Petr, Kučera, Antonín

Year:

2010

Language:

english

File:

PDF, 187 KB

english, 2010

26

Analyzing probabilistic pushdown automata

Brázdil, Tomáš, Esparza, Javier, Kiefer, Stefan, Kučera, Antonín

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 1.23 MB

english, 2013

27

Branching-time model-checking of probabilistic pushdown automata

Brázdil, Tomáš, Brožek, Václav, Forejt, Vojtěch, Kučera, Antonín

Journal:

Journal of Computer and System Sciences

Year:

2014

Language:

english

File:

PDF, 388 KB

english, 2014

28

Continuous-time stochastic games with time-bounded reachability

Brázdil, Tomáš, Forejt, Vojtěch, Krčál, Jan, Křetínský, Jan, Kučera, Antonín

Journal:

Information and Computation

Year:

2013

Language:

english

File:

PDF, 513 KB

english, 2013

29

Low upper bounds of ideals

Kučera, Antonín, Slaman, Theodore A.

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 210 KB

english, 2009

30

Low Upper Bounds of Ideals

Antonín Kučera and Theodore A. Slaman

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 1.59 MB

english, 2009

31

Runtime analysis of probabilistic programs with unbounded recursion

Brázdil, Tomáš, Kiefer, Stefan, Kučera, Antonín, Hutařová Vařeková, Ivana

Journal:

Journal of Computer and System Sciences

Year:

2015

Language:

english

File:

PDF, 587 KB

english, 2015

32

[IEEE 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008) - Pittsburgh, PA, USA (2008.06.24-2008.06.27)] 2008 23rd Annual IEEE Symposium on Logic in Computer Science - The Satisfiability Problem for Probabilistic CTL

Brázdil, Tomá, Forejt, Vojtech, Kretínský, Jan, Kucera, Antonín

Year:

2008

Language:

english

File:

PDF, 297 KB

english, 2008

33

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 2007 Volume 4708 || Public Key Identification Based on the Equivalence of Quadratic Forms

Kučera, Luděk, Kučera, Antonín

Year:

2007

Language:

english

File:

PDF, 515 KB

english, 2007

34

[IEEE Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Edinburgh, Scotland, UK (2007.09.17-2007.09.19)] Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Stochastic Game Logic

Baier, Christel, Brazdil, Tomas, Grosser, Marcus, Kucera, Antonin

Year:

2007

Language:

english

File:

PDF, 792 KB

english, 2007

35

On Recursion Theory in I∑1

Petr Hájek and Antonín Kučera

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 334 KB

english, 1989

36

[Lecture Notes in Computer Science] Mathematical and Engineering Methods in Computer Science Volume 7721 || Verification of Liveness Properties on Closed Timed-Arc Petri Nets

Kučera, Antonín, Henzinger, Thomas A., Nešetřil, Jaroslav, Vojnar, Tomáš, Antoš, David

Year:

2013

Language:

english

File:

PDF, 251 KB

english, 2013

37

Far-Red-Absorbing Cationic Phthalocyanine Photosensitizers: Synthesis and Evaluation of the Photodynamic Anticancer Activity and the Mode of Cell Death Induction

Machacek, Miloslav, Cidlina, Antonin, Novakova, Veronika, Svec, Jan, Rudolf, Emil, Miletin, Miroslav, Kučera, Radim, Simunek, Tomas, Zimcik, Petr

Journal:

Journal of Medicinal Chemistry

Year:

2015

Language:

english

File:

PDF, 2.44 MB

english, 2015

38

[Studies in Logic and the Foundations of Mathematics] Logic Colloquium '86, Proceedings of the Colloquium held in Hull Volume 124 || On the Role of O' in Recursion Theory

Kučera, Antonín

Year:

1987

Language:

english

File:

PDF, 401 KB

english, 1987

39

[Studies in Logic and the Foundations of Mathematics] Logic Colloquium'87, Proceedings of the Colloquium held in Granada Volume 129 || On the use of Diagonally Nonrecursive Functions

Kučera, Antonin

Year:

1989

Language:

english

File:

PDF, 1.02 MB

english, 1989

40

Non-destructive in vitro selection of microspore-derived embryos with the fertility restorer gene for CMS Ogu-INRA in winter oilseed rape (Brassica napus L.)

Havlíčková, Lenka, Klíma, Miroslav, Přibylová, Marie, Hilgert-Delgado, Alois Antonín, Kučera, Vratislav, Čurn, Vladislav

Journal:

Electronic Journal of Biotechnology

Year:

2015

Language:

english

File:

PDF, 348 KB

english, 2015

41

Lowness for the Class of Random Sets

Antonin Kučera and Sebastiaan A. Terwijn

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 212 KB

english, 1999

42

COMPUTING K-TRIVIAL SETS BY INCOMPLETE RANDOM SETS

BIENVENU, LAURENT, DAY, ADAM R., GREENBERG, NOAM, KUČERA, ANTONÍN, MILLER, JOSEPH S., NIES, ANDRÉ, TURETSKY, DAN

Journal:

Bulletin of Symbolic Logic

Year:

2014

Language:

english

File:

PDF, 318 KB

english, 2014

43

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 2007 Volume 4708 || Minimum Cycle Bases in Graphs Algorithms and Applications

Kučera, Luděk, Kučera, Antonín

Year:

2007

Language:

english

File:

PDF, 108 KB

english, 2007

44

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 2010 Volume 6281 || Improved Approximability and Non-approximability Results for Graph Diameter Decreasing Problems

Hliněný, Petr, Kučera, Antonín

Year:

2010

Language:

english

File:

PDF, 250 KB

english, 2010

45

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes

Br´zdil, Tomas, Brozek, V´clav, Chatterjee, Krishnendu, Forejt, Vojtech, Kucera, Antonin

Year:

2011

Language:

english

File:

PDF, 494 KB

english, 2011

46

Behavior of the Spruce and Birch Wood from the Fire Safety Point of View

Kučera, Petr, Lokaj, Antonin, Vlček, Vladimír

Journal:

Advanced Materials Research

Year:

2013

Language:

english

File:

PDF, 529 KB

english, 2013

47

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - Zero-reachability in probabilistic multi-counter automata

Brázdil, Tomáš, Kiefer, Stefan, Kučera, Antonín, Novotný, Petr, Katoen, Joost-Pieter

Year:

2014

Language:

english

File:

PDF, 368 KB

english, 2014

48

Efficient Analysis of Probabilistic Programs with an Unbounded Counter

Brázdil, Tomás, Kiefer, Stefan, Kŭcera, Antonín

Journal:

Journal of the ACM

Year:

2014

Language:

english

File:

PDF, 558 KB

english, 2014

49

[ACM Press the 14th international conference - Chicago, IL, USA (2011.04.12-2011.04.14)] Proceedings of the 14th international conference on Hybrid systems: computation and control - HSCC '11 - Measuring performance of continuous-time stochastic processes using timed automata

Brázdil, Tomás, Krcál, Jan, Kretínský, Jan, Kucera, Antonín, Řehák, Vojtech

Year:

2011

Language:

english

File:

PDF, 587 KB

english, 2011

50

Turing Incomparability in Scott Sets

Antonín Kučera and Theodore A. Slaman

Journal:

Proceedings of the American Mathematical Society

Year:

2007

Language:

english

File:

PDF, 919 KB

english, 2007